Reference in Dialogues and Shared Belief Revision
نویسندگان
چکیده
We shall show how to treat shared belief revision and reference management in the process of dialogues by distinguishing three types of discourse referents: (standard) discourse referents, shared discourse referents, and the shared belief referent, using an extended version of Discourse Representation Theory, called Hyper-DRS, which can represent shared beliefs semantically in a notation based on hyper-sets (sets in non-well-founded set theory).
منابع مشابه
Multi-Agent Belief Revision
We introduce a basic framework for multi agent belief revision in heterogeneous societies where agents are required to be consistent in their beliefs on shared variables We identify several properties one may require a general multi agent belief revision operator to satisfy and show several basic implications of these requirements Our work reveals the connection between multi agent belief revis...
متن کاملBelief Change Based on Global Minimisation
A general framework for minimisation-based belief change is presented. A problem instance is made up of an undirected graph, where a formula is associated with each vertex. For example, vertices may represent spatial locations, points in time, or some other notion of locality. Information is shared between vertices via a process of minimisation over the graph. We give equivalent semantic and sy...
متن کاملProbLog: A Probabilistic Prolog and Its Application in Link Discovery
A general framework for minimisation-based belief change is presented. A problem instance is made up of an undirected graph, where a formula is associated with each vertex. For example, vertices may represent spatial locations, points in time, or some other notion of locality. Information is shared between vertices via a process of minimisation over the graph. We give equivalent semantic and sy...
متن کاملBelief revision and dialogue management in information retrieval
This report describes research to evaluate a theory of belief revision proposed by Galliers in the context of information-seeking interaction as modelled by Belkin, Brooks and Daniels and illustrated by user-librarian dialogues. The work covered the detailed assessment and development, and computational implementation and testing, of both the belief revision theory and the information retrieval...
متن کاملA Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues
Since Peter Aczel’s theory[1] of hypersets, many applications to formalizations of a circular object such as a mutual belief has been proposed [3, 2, 4]. This paper will propose Membership Description Systems (MDSs), a partial revision system of circular objects and their applications to a dynamic semantics of a dialogue in the sense that a dialogue can be considered as a revision process of mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995